Jos Baeten : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (38)
Les plus populaires
Liste
- Liste
- Tableau

1

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Simple Linear Work Suffix Array Construction

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 421 KB

english, 2003

2

[Handbook of the History of Logic] Computational Logic Volume 9 || Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi

Baeten, Jos C.M.

Année:

2014

Langue:

english

Fichier:

PDF, 363 KB

english, 2014

3

Dynamic contrast-enhanced magnetic resonance imaging of radiation therapy-induced microcirculation changes in rectal cancer

Quido G. de Lussanet, Walter H. Backes, Arjan W. Griffioen, Anwar R. Padhani, Coen I. Baeten, Angela van Baardwijk, Philippe Lambin, Geerard L. Beets, Jos M.A. van Engelshoven, Regina G.H. Beets-Tan

Journal:

International Journal of Radiation Oncology*Biology*Physics

Année:

2005

Langue:

english

Fichier:

PDF, 286 KB

english, 2005

4

Preface

Jos Baeten, Flavio Corradini

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 74 KB

english, 2005

5

Preface

Jos Baeten, Iain Phillips

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 86 KB

english, 2006

6

Preface

Jos Baeten, Flavio Corradini

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 106 KB

english, 2006

7

Preface

Jos C.M. Baeten, Jan Karel Lenstra, Gerhard J. Woeginger

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 102 KB

english, 2007

8

Preface

Jos C.M. Baeten, Iain C.C. Phillips

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 111 KB

english, 2007

9

Unguardedness mostly means many solutions

Jos C.M. Baeten, Bas Luttik

Journal:

Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 261 KB

english, 2011

10

Timed Process Algebras

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 104 KB

english, 2002

11

An algebra for process creation

Jos C. M. Baeten, Frits W. Vaandrager

Journal:

Acta Informatica

Année:

1992

Langue:

english

Fichier:

PDF, 1.63 MB

english, 1992

12

A Generic Process Algebra

Jos C.M. Baeten, Mario Bravetti

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 204 KB

english, 2006

13

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problem

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 240 KB

english, 2003

14

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || The Definition of a Temporal Clock Operator

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 391 KB

english, 2003

15

Preface

Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir, Uwe Nestmann

Journal:

The Journal of Logic and Algebraic Programming

Année:

2009

Langue:

english

Fichier:

PDF, 62 KB

english, 2009

16

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba, ,Reactive Systems: Modelling, Specification and Verification (2007) Cambridge University Press 9780521875462.

Jos Baeten, Ana Sokolova

Journal:

The Journal of Logic and Algebraic Programming

Année:

2008

Langue:

english

Fichier:

PDF, 59 KB

english, 2008

17

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Stable Marriages with Multiple Partners: Efficient Search for an Optimal Solution

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 193 KB

english, 2003

18

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 7604 || On Properties and State Complexity of Deterministic State-Partition Automata

Baeten, Jos C. M., Ball, Tom, de Boer, Frank S.

Année:

2012

Langue:

english

Fichier:

PDF, 316 KB

english, 2012

19

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Optimal Coding and Sampling of Triangulations

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 218 KB

english, 2003

20

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Model Checking and Testing Combined

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 185 KB

english, 2003

21

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Decoding of Interleaved Reed Solomon Codes over Noisy Data

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 861 KB

english, 2003

22

BIOFRAG - a new database for analyzing BIOdiversity responses to forest FRAGmentation

Pfeifer, Marion, Lefebvre, Veronique, Gardner, Toby A., Arroyo-Rodriguez, Victor, Baeten, Lander, Banks-Leite, Cristina, Barlow, Jos, Betts, Matthew G., Brunet, Joerg, Cerezo, Alexis, Cisneros, Laura

Journal:

Ecology and Evolution

Année:

2014

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2014

23

The role of supervisory controller synthesis in automatic control software development

Baeten, Jos, Markovski, Jasen

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 623 KB

english, 2015

24

Reactive Turing machines

Baeten, Jos C.M., Luttik, Bas, van Tilburg, Paul

Journal:

Information and Computation

Année:

2013

Langue:

english

Fichier:

PDF, 543 KB

english, 2013

25

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 188 KB

english, 2003

26

[Lecture Notes in Computer Science] CONCUR’99 Concurrency Theory Volume 1664 || Testing Concurrent Systems: A Formal Approach

Baeten, Jos C. M., Mauw, Sjouke

Année:

1999

Langue:

english

Fichier:

PDF, 219 KB

english, 1999

27

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Logic and Automata: A Match Made in Heaven

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 54 KB

english, 2003

28

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Function Matching: Algorithms, Applications, and a Lower Bound

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 179 KB

english, 2003

29

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 ||

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 16.18 MB

english, 2003

30

[Lecture Notes in Computer Science] CONCUR '91 Volume 527 || Simulations between specifications of distributed systems

Baeten, Jos C. M., Groote, Jan Frisco

Année:

1991

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1991

31

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 7604 || On Union-Free and Deterministic Union-Free Languages

Baeten, Jos C. M., Ball, Tom, de Boer, Frank S.

Année:

2012

Langue:

english

Fichier:

PDF, 844 KB

english, 2012

32

[Lecture Notes in Computer Science] CONCUR’99 Concurrency Theory Volume 1664 || Approximative Symbolic Model Checking of Continuous-Time Markov Chains

Baeten, Jos C. M., Mauw, Sjouke

Année:

1999

Langue:

english

Fichier:

PDF, 264 KB

english, 1999

33

[Lecture Notes in Computer Science] CONCUR’99 Concurrency Theory Volume 1664 || Model Checking of Message Sequence Charts

Baeten, Jos C. M., Mauw, Sjouke

Année:

1999

Langue:

english

Fichier:

PDF, 192 KB

english, 1999

34

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2719 || Quantum Search on Bounded-Error Inputs

Baeten, Jos C. M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.

Année:

2003

Langue:

english

Fichier:

PDF, 146 KB

english, 2003

35

A ground-complete axiomatisation of finite-state processes in a generic process algebra

BAETEN, JOS C. M., BRAVETTI, MARIO

Journal:

Mathematical Structures in Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 425 KB

english, 2008

36

Preoperative MR Imaging of Anal Fistulas: Does It Really Help the Surgeon?1

Beets-Tan, Regina G. H., Beets, Geerard L., van der Hoop, Arthur Gerritsen, Kessels, Alfons G. H., Vliegen, Roy F. A., Baeten, Cor G. M. I., van Engelshoven, Jos M. A.

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 1.90 MB

english, 2001

37

Measurement of Anal Sphincter Muscles: Endoanal US, Endoanal MR Imaging, or Phased-Array MR Imaging? A Study with Healthy Volunteers1

Beets-Tan, Regina G. H., Morren, Geert L., Beets, Geerard L., Kessels, Alfons G. H., el Naggar, Kadri, Lemaire, Etienne, Baeten, Cor G. M. I., van Engelshoven, Jos M. A.

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 900 KB

english, 2001

38

Expressiveness modulo bisimilarity of regular expressions with parallel composition

BAETEN, JOS C. M., LUTTIK, BAS, MULLER, TIM, VAN TILBURG, PAUL

Journal:

Mathematical Structures in Computer Science

Année:

2016

Langue:

english

Fichier:

PDF, 785 KB

english, 2016